From: Florian Müllner <fmuellner@gnome.org>
Date: Mon, 19 Jun 2023 00:24:47 +0000 (+0200)
Subject: workspace: Reapply border radius on background changes
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~337^2~2^2~22
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=aa11d90693431131995bdb4af02c7f59c26da914;p=gnome-shell.git

workspace: Reapply border radius on background changes

The rounded corner effect is applied to the background actor, so
we have to reapply the correct values when the background changes
for the corners to persist.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/4125

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2801>
---

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 0069cdd00..bf631a5f0 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -981,6 +981,11 @@ class WorkspaceBackground extends Shell.WorkspaceBackground {
             useContentSize: false,
         });
 
+        this._bgManager.connect('changed', () => {
+            this._updateRoundedClipBounds();
+            this._updateBorderRadius();
+        });
+
         global.display.connectObject('workareas-changed', () => {
             this._workarea = Main.layoutManager.getWorkAreaForMonitor(monitorIndex);
             this._updateRoundedClipBounds();